Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an approach for symbolic conformance checking of action systems, which are well-suited to specify reactive systems. We also consider nondeterminism in our models. Hence, we do not check for equivalence, but for refinement. We encode the transition relation as well as the conformance relation as a constraint satisfaction problem and use a constraint solver in our reachability and refinement checking algorithms. Explicit conformance checking techniques often face state space explosion. First experimental evaluations show that our approach has potential to outperform explicit conformance checkers.Comment: In Proceedings MBT 2012, arXiv:1202.582

Leveraging community mortality indicators to infer COVID-19 mortality and transmission dynamics in Damascus, Syria.

The COVID-19 pandemic has resulted in substantial mortality worldwide. However, to date, countries in the Middle East and Africa have reported considerably lower mortality rates than in Europe and the Americas. Motivated by reports of an overwhelmed health system, we estimate the likely under-ascertainment of COVID-19 mortality in Damascus, Syria. Using all-cause mortality data, we fit a mathematical model of COVID-19 transmission to reported mortality, estimating that 1.25% of COVID-19 deaths (sensitivity range 1.00% - 3.00%) have been reported as of 2 September 2020. By 2 September, we estimate that 4,380 (95% CI: 3,250 - 5,550) COVID-19 deaths in Damascus may have been missed, with 39.0% (95% CI: 32.5% - 45.0%) of the population in Damascus estimated to have been infected. Accounting for under-ascertainment corroborates reports of exceeded hospital bed capacity and is validated by community-uploaded obituary notifications, which confirm extensive unreported mortality in Damascus

Review of nanomaterials in dentistry: interactions with the oral microenvironment, clinical applications, hazards, and benefits.

Interest in the use of engineered nanomaterials (ENMs) as either nanomedicines or dental materials/devices in clinical dentistry is growing. This review aims to detail the ultrafine structure, chemical composition, and reactivity of dental tissues in the context of interactions with ENMs, including the saliva, pellicle layer, and oral biofilm; then describes the applications of ENMs in dentistry in context with beneficial clinical outcomes versus potential risks. The flow rate and quality of saliva are likely to influence the behavior of ENMs in the oral cavity, but how the protein corona formed on the ENMs will alter bioavailability, or interact with the structure and proteins of the pellicle layer, as well as microbes in the biofilm, remains unclear. The tooth enamel is a dense crystalline structure that is likely to act as a barrier to ENM penetration, but underlying dentinal tubules are not. Consequently, ENMs may be used to strengthen dentine or regenerate pulp tissue. ENMs have dental applications as antibacterials for infection control, as nanofillers to improve the mechanical and bioactive properties of restoration materials, and as novel coatings on dental implants. Dentifrices and some related personal care products are already available for oral health applications. Overall, the clinical benefits generally outweigh the hazards of using ENMs in the oral cavity, and the latter should not prevent the responsible innovation of nanotechnology in dentistry. However, the clinical safety regulations for dental materials have not been specifically updated for ENMs, and some guidance on occupational health for practitioners is also needed. Knowledge gaps for future research include the formation of protein corona in the oral cavity, ENM diffusion through clinically relevant biofilms, and mechanistic investigations on how ENMs strengthen the tooth structure

Database of epidemic trends and control measures during the first wave of COVID-19 in mainland China.

OBJECTIVES: In this data collation study, we aimed to provide a comprehensive database describing the epidemic trends and responses during the first wave of coronavirus disease 2019 (COVID-19) throughout the main provinces in China. METHODS: From mid-January to March 2020, we extracted publicly available data regarding the spread and control of COVID-19 from 31 provincial health authorities and major media outlets in mainland China. Based on these data, we conducted descriptive analyses of the epidemic in the six most-affected provinces. RESULTS: School closures, travel restrictions, community-level lockdown, and contact tracing were introduced concurrently around late January but subsequent epidemic trends differed among provinces. Compared with Hubei, the other five most-affected provinces reported a lower crude case fatality ratio and proportion of critical and severe hospitalised cases. From March 2020, as the local transmission of COVID-19 declined, switching the focus of measures to the testing and quarantine of inbound travellers may have helped to sustain the control of the epidemic. CONCLUSIONS: Aggregated indicators of case notifications and severity distributions are essential for monitoring an epidemic. A publicly available database containing these indicators and information regarding control measures is a useful resource for further research and policy planning in response to the COVID-19 epidemic